Automatic Train Protection - PDFSEARCH.IO - Document Search Engine

Automatic Train Protection
Results: 56

#	Item
11	Journal of the Operational Research Society[removed], 606–613 r 2004 Operational Research Society Ltd. All rights reserved[removed] $30.00 www.palgrave-journals.com/jors Evaluating train protection systems Add to Reading List Source URL: researchrepository.napier.ac.uk Language: English - Date: 2011-01-11 23:47:20 Risk management Actuarial science Welfare economics Financial economics Train protection systems Value of life Valuation Automatic Train Protection Reliability engineering Risk Safety Ethics
12	COMTRAC (COMputer-aided TRAffic Control) COMTRAC is a control system that allows around-the-clock status monitoring of all Shinkansen trains currently in operation. CIC Shinkansen Add to Reading List Source URL: english.jr-central.co.jp Language: English - Date: 2010-03-28 22:39:47 Railway signalling High-speed rail in Japan Shinkansen Train protection systems Centralized traffic control High-speed rail Automatic Train Control Land transport Transport Rail transport
13	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:40 European Rail Traffic Management System Logic in computer science Applied mathematics European Train Control System Predicate logic Formal methods First-order logic Formal verification Control theory Train protection systems Logic Mathematical logic
14	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
15	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
16	15th ICTCT workshop different aspects of speed management SPEED MANAGEMENT IN RAIL TRAFFIC Kirsi Pajunen¹, Kari Alppivuori² Add to Reading List Source URL: www.ictct.org Language: English - Date: 2014-12-22 09:45:01 Train protection systems Railway signalling Safety High-speed rail New Urbanism Automatic Train Protection Level crossing Balise Train Transport Land transport Rail transport
17	ODAM Proceedings Vol 1+2 NEW.pdf Add to Reading List Source URL: proceedings.dtu.dk Language: English - Date: 2015-02-14 06:32:24 Train protection systems Alarms Systems psychology Alarm devices Emergency brake Ergonomics Automatic Train Protection Fail-safe Human factors Safety Security Prevention
18	Systems Requirements Database Add to Reading List Source URL: www.tillier.net Language: English - Date: 2010-08-28 23:28:37 Train protection systems Derailment Automatic Train Control High-speed rail Emergency brake Train Communications-based train control Transport Land transport Rail transport
19	S af e t y JR EAST GROUP CSR REPORT 2013 Improvement of safety equipment Investment in safety equipment for“extreme safety levels” Add to Reading List Source URL: www.jreast.co.jp Language: English - Date: 2013-10-31 01:27:22 Railway signalling Automatic train stop Train protection systems Level crossing Senseki Line Automatic Train Control Train Railroad switch Railway platform Transport Land transport Rail transport
20	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport

UPDATE